fun Foo -> ()
